Valuations in Nilpotent Minimum Logic
ثبت نشده
چکیده
منابع مشابه
Nilpotent Minimum Fuzzy Description Logics
We define the fuzzy description logic ALCHNM based on the t-norm of Nilpotent Minimum and we prove its reduction to the crisp description logic ALCH. Hence we prove decidability results for ALCHNM.
متن کاملOn Rational Weak Nilpotent Minimum Logics
In this paper we investigate extensions of Gödel and Nilpotent Minimum logics by adding rational truth-values as truth constants in the language and by adding corresponding book-keeping axioms for the truth-constants. We also investigate the rational extensions of some parametric families of Weak Nilpotent Minimum logics, weaker than both Gödel and Nilpotent Minimum logics. Weak and strong stan...
متن کاملSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملProbability Measures in the Logic of Nilpotent Minimum
We axiomatize the notion of state over finitely generated free NM-algebras, the Lindenbaum algebras of pure Nilpotent Minimum logic. We show that states over the free n-generated NM-algebra NM n exactly correspond to integrals of elements of NM n with respect to Borel probability measures.
متن کاملJoan GISPERT I BRASÓ AXIOMATIC EXTENSIONS OF THE NILPOTENT MINIMUM LOGIC
A b s t r a c t. In this paper we characterize, classify and axiomatize all axiomatic extensions of the Nilpotent Minimum Logic. Every axiomatic extension is complete with respect to a class of NM-chains. Given a family of NM-chains the number of elements of the largest odd finite NM-chain in the family and the number of elements of the largest even finite NM-chain in the family turns out to be...
متن کامل